Anne is blue. Anne is cold. Anne is nice. Anne is young. Bob is blue. Bob is nice. Bob is smart. Gary is blue. Gary is cold. Gary is rough. Gary is smart. Gary is young. Smart, rough people are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Smart, rough people are young.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple12 OR ((triple11 triple10) -> rule1))]
("Gary" "is" "young" "+")
triple12
((triple11 triple10) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple11 triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple11 triple10) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1