Erin is red. Erin is rough. Erin is round. Erin is young. Gary is cold. Gary is red. Harry is nice. Harry is quiet. Harry is round. Harry is young. If someone is cold and nice then they are young.
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is cold and nice then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Erin is red.[(triple1)] Erin is rough.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4)] Gary is cold.[(triple5)] Gary is red.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)]
Erin is red.
("Erin" "is" "red" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10