Fiona is nice. Fiona is red. Fiona is young. If something is cold and smart then it is nice. All nice things are round. If something is nice and young then it is round.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is cold and smart then it is nice.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is nice and young then it is round.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Fiona is nice.
True
1
proof
[(triple1)]
("Fiona" "is" "nice" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Fiona is round.
True
2
proof
[(((triple1) -> rule2) OR ((triple1 triple3) -> rule3))]
("Fiona" "is" "round" "+")
((triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple1 triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple1 triple3) -> rule3))]
("Fiona" "is" "round" "-")
((triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple1 triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is nice.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is round.[(((triple1) -> rule2) OR ((triple1 triple3) -> rule3))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple1 triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1