Charlie is red. Erin is red. Fiona is quiet. Gary is big. If Gary is young and Gary is blue then Gary is big. Furry, red people are quiet. All blue, green people are not quiet. Green, blue people are furry. If someone is green then they are furry. All red people are green. If someone is blue and young then they are green. If Fiona is furry then Fiona is big.
Charlie is red.
("Charlie" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
If Gary is young and Gary is blue then Gary is big.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "big" "+"))
Furry, red people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All blue, green people are not quiet.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "-"))
Green, blue people are furry.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Fiona is furry then Fiona is big.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Erin is green.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "green" "+")
((triple2) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple2) -> rule6))]
("Erin" "is" "green" "-")
((triple2) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple1) -> rule6)) -> rule5))]
("Charlie" "is" "furry" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("Charlie" "is" "furry" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Erin is quiet.
True
5
proof
[(((((((triple2) -> rule6)) -> rule5) triple2) -> rule2))]
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Charlie is not quiet.
False
5
inv-proof
[(((((((triple1) -> rule6)) -> rule5) triple1) -> rule2))]
("Charlie" "is" "quiet" "-")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fiona" "is" "furry" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is red.[(triple1)] Erin is red.[(triple2)] Fiona is quiet.[(triple3)] Gary is big.[(triple4)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is green.[(((triple2) -> rule6))] @2: Charlie is furry.[(((((triple1) -> rule6)) -> rule5))] Erin is furry.[(((((triple2) -> rule6)) -> rule5))] @3: Charlie is quiet.[(((((((triple1) -> rule6)) -> rule5) triple1) -> rule2))] Erin is quiet.[(((((((triple2) -> rule6)) -> rule5) triple2) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
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
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3