Fiona is blue. Fiona is young. Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is young. All young, round things are furry. If something is young and big then it is round. If something is young and blue then it is round.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, round things are furry.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is young and big then it is round.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is young and blue then it is round.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not round.
False
1
inv-proof
[(triple6 OR ((triple7 triple3) -> rule3))]
("Gary" "is" "round" "-")
triple6
((triple7 triple3) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is round.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Fiona" "is" "round" "+")
((triple2 triple1) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Fiona" "is" "round" "-")
((triple2 triple1) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
True
5
proof
[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not furry.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is blue.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Gary is furry.[(triple4 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple7 triple3) -> rule3)) -> rule1))] Gary is quiet.[(triple5)] Gary is round.[(triple6 OR ((triple7 triple3) -> rule3))] Gary is young.[(triple7)] @1: Fiona is round.[(((triple2 triple1) -> rule3))] @2: Fiona is furry.[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 ((triple7 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple7 triple3) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple2 triple1) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2