Dave is kind. Erin is not big. Erin is young. Gary is kind. Gary is young. Harry is green. Harry is kind. Big people are smart. All cold, kind people are big. If Erin is big and Erin is green then Erin is kind.
Dave is kind.
("Dave" "is" "kind" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All cold, kind people are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Erin is big and Erin is green then Erin is kind.
((("Erin" "is" "big" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "kind" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Gary is not smart.
Unknown
inv-rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "smart" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is kind.[(triple1)] Erin is not big.[(triple2)] Erin is young.[(triple3)] Gary is kind.[(triple4)] Gary is young.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Erin is not big.
("Erin" "is" "big" "-")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7