Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is white. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Green, quiet people are furry. If someone is white then they are rough. If someone is rough and quiet then they are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Green, quiet people are furry.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is white then they are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and quiet then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Erin is green.
True
1
proof
[(triple7)]
("Erin" "is" "green" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple7)]
("Erin" "is" "green" "-")
triple7
Charlie is rough.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
True
4
proof
[(((((triple5) -> rule2) triple4) -> rule3))]
("Charlie" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((((triple5) -> rule2) triple4) -> rule3))]
("Charlie" "is" "green" "-")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((((((triple5) -> rule2) triple4) -> rule3) triple4) -> rule1))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Erin is furry.[(triple6 OR ((triple7 triple9) -> rule1))] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Gary is blue.[(triple10)] Gary is furry.[(triple11 OR ((triple12 triple14) -> rule1) OR ((((triple15 triple14) -> rule3) triple14) -> rule1) OR ((((((triple16) -> rule2) triple14) -> rule3) triple14) -> rule1))] Gary is green.[(triple12 OR ((triple15 triple14) -> rule3) OR ((((triple16) -> rule2) triple14) -> rule3))] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15 OR ((triple16) -> rule2))] Gary is white.[(triple16)] @1: Charlie is rough.[(((triple5) -> rule2))] @2: Charlie is green.[(((((triple5) -> rule2) triple4) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((((((triple5) -> (rule2 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple7 triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple12 triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple15 triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple16) -> (rule2 % int3)) triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple12
((triple15 triple14) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple16) -> (rule2 % int2)) triple14) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
((triple16) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple16
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2