Erin is big. Erin is rough. Gary is blue. Gary is red. Harry is green. Harry is kind. Harry is white. All green things are white. All blue, white things are green. If something is blue and green then it is big.
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All blue, white things are green.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is blue and green then it is big.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Harry is kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Erin is big.[(triple1)] Erin is rough.[(triple2)] Gary is blue.[(triple3)] Gary is red.[(triple4)] Harry is green.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7 OR ((triple5) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple5) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1