Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is young. Bob is blue. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is young. Gary is young. If Anne is young then Anne is cold. If something is cold then it is young. If Gary is nice and Gary is quiet then Gary is young. If Anne is blue and Anne is young then Anne is cold. All cold, young things are kind. If Bob is kind and Bob is quiet then Bob is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is young then Anne is cold.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
If something is cold then it is young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Gary is nice and Gary is quiet then Gary is young.
((("Gary" "is" "nice" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
If Anne is blue and Anne is young then Anne is cold.
((("Anne" "is" "blue" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
All cold, young things are kind.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Bob is kind and Bob is quiet then Bob is blue.
((("Bob" "is" "kind" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "blue" "+"))
Anne is young.
True
1
proof
[(triple6)]
("Anne" "is" "young" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple16)]
("Gary" "is" "young" "-")
triple16
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((((triple6) -> rule1) triple6) -> rule5) OR ((((triple1 triple6) -> rule4) triple6) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Bob is blue.[(triple7)] Bob is quiet.[(triple8)] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is kind.[(triple11 OR ((triple10 triple15) -> rule5) OR ((triple10 ((triple10) -> rule2)) -> rule5))] Charlie is nice.[(triple12)] Charlie is quiet.[(triple13)] Charlie is rough.[(triple14)] Charlie is young.[(triple15 OR ((triple10) -> rule2))] Gary is young.[(triple16)] @1: Anne is cold.[(((triple6) -> rule1) OR ((triple1 triple6) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((((triple6) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple1 triple6) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
triple11
((triple10 triple15) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple10 ((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple13
Charlie is rough.
("Charlie" "is" "rough" "+")
triple14
Charlie is young.
("Charlie" "is" "young" "+")
triple15
((triple10) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is cold.
("Anne" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple1 triple6) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1