Anne is cold. Anne is green. Anne is not white. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is smart. Bob is white. Bob is young. Charlie is not cold. Charlie is not green. Charlie is young. Dave is blue. Dave is cold. Dave is not young. Cold people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not young.
("Dave" "is" "young" "-")
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Dave is cold.
True
1
proof
[(triple15)]
("Dave" "is" "cold" "+")
triple15
Bob is not smart.
False
1
inv-proof
[(triple8)]
("Bob" "is" "smart" "-")
triple8
Dave is green.
True
2
proof
[(((triple15) -> rule1))]
("Dave" "is" "green" "+")
((triple15) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple15) -> rule1))]
("Dave" "is" "green" "-")
((triple15) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule1))] Anne is not white.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is green.[(triple6 OR ((triple5) -> rule1))] Bob is nice.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Charlie is not cold.[(triple11)] Charlie is not green.[(triple12)] Charlie is young.[(triple13)] Dave is blue.[(triple14)] Dave is cold.[(triple15)] Dave is not young.[(triple16)] @1: Dave is green.[(((triple15) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
((triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple11
Charlie is not green.
("Charlie" "is" "green" "-")
triple12
Charlie is young.
("Charlie" "is" "young" "+")
triple13
Dave is blue.
("Dave" "is" "blue" "+")
triple14
Dave is cold.
("Dave" "is" "cold" "+")
triple15
Dave is not young.
("Dave" "is" "young" "-")
triple16
Dave is green.
("Dave" "is" "green" "+")
((triple15) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1