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