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