Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is not young. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is young. Fiona is cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is not young. Nice, young people are not rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Nice, young people are not rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "-"))
Fiona is not young.
True
1
proof
[(triple16)]
("Fiona" "is" "young" "-")
triple16
Bob is not young.
False
1
inv-proof
[(triple11)]
("Bob" "is" "young" "-")
triple11
Bob is not rough.
True
3
proof
[(((triple9 triple11) -> rule1))]
("Bob" "is" "rough" "-")
((triple9 triple11) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is rough.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("Bob" "is" "rough" "+")
((triple9 triple11) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not young.[(triple5)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is nice.[(triple9)] Bob is red.[(triple10)] Bob is young.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is not young.[(triple16)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] @1: Bob is not rough.[(((triple9 triple11) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is not young.
("Fiona" "is" "young" "-")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Bob is not rough.
("Bob" "is" "rough" "-")
((triple9 triple11) -> (rule1 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1