Charlie is green. Charlie is kind. Erin is kind. Erin is quiet. Erin is red. Gary is quiet. Gary is red. All big, red people are furry. If someone is furry then they are red. If someone is furry then they are big. If someone is green then they are red. Blue people are red. All red people are blue. If someone is kind and red then they are furry. If someone is big and furry then they are kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
All big, red people are furry.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is furry then they are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and furry then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Erin is blue.
True
2
proof
[(((triple5) -> rule6))]
("Erin" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not furry.
False
3
inv-proof
[(((triple3 triple5) -> rule7))]
("Erin" "is" "furry" "-")
((triple3 triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Charlie is blue.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Erin is not big.
False
4
inv-proof
[(((((triple3 triple5) -> rule7)) -> rule3))]
("Erin" "is" "big" "-")
((((triple3 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Charlie is big.
True
5
proof
[(((((triple2 ((triple1) -> rule4)) -> rule7)) -> rule3))]
("Charlie" "is" "big" "+")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not big.
False
5
inv-proof
[(((((triple2 ((triple1) -> rule4)) -> rule7)) -> rule3))]
("Charlie" "is" "big" "-")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Gary is not furry.
Unknown
inv-rconc
[@4: Gary is furry.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- rule8 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is kind.
Unknown
rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule8 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] @1: Charlie is red.[(((triple1) -> rule4))] Erin is blue.[(((triple5) -> rule6))] Erin is furry.[(((triple3 triple5) -> rule7))] Gary is blue.[(((triple7) -> rule6))] @2: Charlie is blue.[(((((triple1) -> rule4)) -> rule6))] Charlie is furry.[(((triple2 ((triple1) -> rule4)) -> rule7))] Erin is big.[(((((triple3 triple5) -> rule7)) -> rule3))] @3: Charlie is big.[(((((triple2 ((triple1) -> rule4)) -> rule7)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple1) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3 triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple3 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3