Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is big. Bob is cold. Bob is red. Bob is rough. Bob is young. Harry is cold. Harry is green. Harry is not rough. Harry is young. All green things are red. Green, cold things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
All green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Green, cold things are young.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Harry is cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "+")
triple12
Anne is not quiet.
False
1
inv-proof
[(triple3)]
("Anne" "is" "quiet" "-")
triple3
Harry is red.
True
2
proof
[(((triple13) -> rule1))]
("Harry" "is" "red" "+")
((triple13) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple13) -> rule1))]
("Harry" "is" "red" "-")
((triple13) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule1))] Anne is rough.[(triple5)] Anne is young.[(triple6 OR ((triple2 triple1) -> rule2))] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Bob is young.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is not rough.[(triple14)] Harry is young.[(triple15 OR ((triple13 triple12) -> rule2))] @1: Harry is red.[(((triple13) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple2 triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
((triple13 triple12) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple13) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1