Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is cold. If something is green and young then it is red.
Gary is cold.
("Gary" "is" "cold" "+")
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" "+")
If something is green and young then it is red.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Gary is kind.
True
1
proof
[(triple3)]
("Gary" "is" "kind" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple5)]
("Gary" "is" "round" "-")
triple5
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Gary is cold.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is red.[(triple4 OR ((triple2 triple6) -> rule1))] Gary is round.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7)]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
((triple2 triple6) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7