Charlie is quiet. Erin is quiet. Fiona is big. Fiona is furry. Gary is cold. Gary is green. Gary is round. Round people are big. If someone is green and red then they are quiet. Cold, green people are round. All cold people are red. Furry people are big. If someone is quiet then they are green.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and red then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Cold, green people are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple7 OR ((triple5 triple6) -> rule3))]
("Gary" "is" "round" "-")
triple7
((triple5 triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is quiet.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3 OR ((triple4) -> rule5))] Fiona is furry.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7 OR ((triple5 triple6) -> rule3))] @1: Charlie is green.[(((triple1) -> rule6))] Erin is green.[(((triple2) -> rule6))] Gary is big.[(((triple7) -> rule1) OR ((((triple5 triple6) -> rule3)) -> rule1))] Gary is red.[(((triple5) -> rule4))] @2: Gary is quiet.[(((triple6 ((triple5) -> rule4)) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple4) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple5 triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple5 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2