Anne is blue. Anne is nice. Anne is red. Anne is round. Anne is smart. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is smart. Fiona is young. If Fiona is furry and Fiona is nice then Fiona is round. If someone is young then they are smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is furry and Fiona is nice then Fiona is round.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "round" "+"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple6)]
("Fiona" "is" "blue" "+")
triple6
Fiona is not nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Fiona is round.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Fiona" "is" "round" "+")
((triple7 triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Fiona" "is" "round" "-")
((triple7 triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is smart.[(triple9 OR ((triple10) -> rule2))] Fiona is young.[(triple10)] @1: Fiona is round.[(((triple7 triple8) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple7 triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1