Bob is big. Bob is green. Bob is round. Charlie is cold. Charlie is furry. Charlie is round. Charlie is young. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Gary is cold. Gary is furry. Gary is nice. Gary is young. Furry, green things are young. Round things are furry. Round, big things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Furry, green things are young.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Round, big things are cold.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Gary is young.
True
1
proof
[(triple15)]
("Gary" "is" "young" "+")
triple15
Gary is not young.
False
1
inv-proof
[(triple15)]
("Gary" "is" "young" "-")
triple15
Bob is cold.
True
3
proof
[(((triple3 triple1) -> rule3))]
("Bob" "is" "cold" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "furry" "-")
((triple11) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is young.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Bob" "is" "young" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not young.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Bob" "is" "young" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple6) -> rule2))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is young.[(triple15)] @1: Bob is cold.[(((triple3 triple1) -> rule3))] Bob is furry.[(((triple3) -> rule2))] Fiona is furry.[(((triple11) -> rule2))] @2: Bob is young.[(((((triple3) -> rule2) triple2) -> rule1))] Fiona is young.[(((((triple11) -> rule2) triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple1) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple11) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2