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