Anne is red. Erin is big. Erin is nice. Erin is young. Gary is big. Gary is round. Gary is young. Harry is big. Harry is red. Harry is young. Round, young things are red. If something is green and nice then it is big. If something is young and quiet then it is green. Round, big things are young. All round things are quiet. All nice things are green. Big, young things are red. If something is young and nice then it is big.
Anne is red.
("Anne" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Round, young things are red.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is green and nice then it is big.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is young and quiet then it is green.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Round, big things are young.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Big, young things are red.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is young and nice then it is big.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is red.[(triple1)] Erin is big.[(triple2 OR ((triple4 triple3) -> rule8) OR ((((triple3) -> rule6) triple3) -> rule2))] Erin is nice.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule4))] Harry is big.[(triple8)] Harry is red.[(triple9 OR ((triple8 triple10) -> rule7))] Harry is young.[(triple10)] @1: Erin is green.[(((triple3) -> rule6))] Erin is red.[(((triple2 triple4) -> rule7) OR ((((triple4 triple3) -> rule8) triple4) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule2) triple4) -> rule7))] Gary is quiet.[(((triple6) -> rule5))] Gary is red.[(((triple5 triple7) -> rule7) OR ((triple6 triple7) -> rule1) OR ((triple5 ((triple6 triple5) -> rule4)) -> rule7) OR ((triple6 ((triple6 triple5) -> rule4)) -> rule1))] @2: Gary is green.[(((triple7 ((triple6) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule4) ((triple6) -> rule5)) -> rule3))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
((triple4 triple3) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple3) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple6 triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple8 triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2 triple4) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple4 triple3) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple3) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple5 triple7) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple6 triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple5 ((triple6 triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple6 triple5) -> (rule4 % int3)) ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3