Bob is furry. Bob is green. Bob is kind. Bob is round. Charlie is cold. Charlie is rough. Fiona is round. Fiona is white. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. If something is round then it is green. If Gary is cold then Gary is kind. If something is rough and white then it is green. If something is kind and green then it is rough. Rough things are kind. If something is rough then it is green. If Fiona is white then Fiona is cold. Green things are round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Gary is cold then Gary is kind.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "kind" "+"))
If something is rough and white then it is green.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is kind and green then it is rough.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If Fiona is white then Fiona is cold.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "cold" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Charlie is not cold.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "cold" "-")
triple5
Fiona is cold.
True
2
proof
[(((triple8) -> rule7))]
("Fiona" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple6) -> rule5))]
("Charlie" "is" "kind" "-")
((triple6) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
True
3
proof
[(((((triple6) -> rule6)) -> rule8))]
("Charlie" "is" "round" "+")
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule8))]
("Charlie" "is" "round" "-")
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is rough.
Unknown
rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule1))] Bob is kind.[(triple3)] Bob is round.[(triple4 OR ((triple2) -> rule8))] Charlie is cold.[(triple5)] Charlie is rough.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple13) -> rule6) OR ((triple14) -> rule1) OR ((triple13 triple15) -> rule3))] Gary is kind.[(triple12 OR ((triple13) -> rule5) OR ((triple9) -> rule2))] Gary is rough.[(triple13 OR ((triple12 triple11) -> rule4) OR ((triple12 ((triple14) -> rule1)) -> rule4) OR ((((triple9) -> rule2) triple11) -> rule4) OR ((((triple9) -> rule2) ((triple14) -> rule1)) -> rule4))] Gary is round.[(triple14 OR ((triple11) -> rule8) OR ((((triple13) -> rule6)) -> rule8) OR ((((triple13 triple15) -> rule3)) -> rule8))] Gary is white.[(triple15)] @1: Bob is rough.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple4) -> rule1)) -> rule4))] Charlie is green.[(((triple6) -> rule6))] Charlie is kind.[(((triple6) -> rule5))] Fiona is cold.[(((triple8) -> rule7))] Fiona is green.[(((triple7) -> rule1))] @2: Charlie is round.[(((((triple6) -> rule6)) -> rule8))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple2) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple13) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple13 triple15) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((triple13) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple12 triple11) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple12 ((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple11) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple13) -> (rule6 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple13 triple15) -> (rule3 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple6) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2