Erin is cold. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is young. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is green. Harry is red. Harry is young. Round things are kind. If something is round then it is green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Harry is cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "+")
triple12
Gary is not kind.
False
1
inv-proof
[(triple8 OR ((triple10) -> rule1))]
("Gary" "is" "kind" "-")
triple8
((triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is cold.[(triple1)] Erin is green.[(triple2 OR ((triple5) -> rule2))] Erin is kind.[(triple3 OR ((triple5) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Gary is green.[(triple7 OR ((triple10) -> rule2))] Gary is kind.[(triple8 OR ((triple10) -> rule1))] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
((triple5) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple3
((triple5) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple8
((triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15