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