Fiona is smart. Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is smart. Gary is white. If Gary is furry then Gary is quiet. If Gary is white then Gary is smart. If Fiona is quiet then Fiona is furry. All smart, white people are round. If someone is cold then they are quiet. Quiet people are furry. All round people are smart. If someone is smart then they are round.
Fiona is smart.
("Fiona" "is" "smart" "+")
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 smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is furry then Gary is quiet.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "quiet" "+"))
If Gary is white then Gary is smart.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "smart" "+"))
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
All smart, white people are round.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Gary is furry.
True
1
proof
[(triple3 OR ((triple4) -> rule6))]
("Gary" "is" "furry" "+")
triple3
((triple4) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Fiona is not smart.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "smart" "-")
triple1
Fiona is round.
True
2
proof
[(((triple1) -> rule8))]
("Fiona" "is" "round" "+")
((triple1) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule8))]
("Fiona" "is" "round" "-")
((triple1) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Fiona is smart.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3 OR ((triple4) -> rule6))] Gary is quiet.[(triple4 OR ((triple3) -> rule1))] Gary is round.[(triple5 OR ((triple6) -> rule8) OR ((triple6 triple7) -> rule4) OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule2) triple7) -> rule4))] Gary is smart.[(triple6 OR ((triple5) -> rule7) OR ((triple7) -> rule2))] Gary is white.[(triple7)] @1: Fiona is round.[(((triple1) -> rule8))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
((triple4) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
((triple3) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple5
((triple6) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple6 triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple7) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple6
((triple5) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple7) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1