Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is not white. Anne is young. Bob is red. Fiona is not nice. Fiona is red. Fiona is young. If something is red then it is green. All green things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not white.
("Anne" "is" "white" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Anne is green.
True
1
proof
[(triple2 OR ((triple4) -> rule1))]
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Fiona is nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "+")
triple8
Bob is green.
True
2
proof
[(((triple7) -> rule1))]
("Bob" "is" "green" "+")
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple7) -> rule1))]
("Bob" "is" "green" "-")
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("Bob" "is" "young" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not young.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("Bob" "is" "young" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule1))] Anne is nice.[(triple3)] Anne is not white.[(triple5)] Anne is red.[(triple4)] Anne is young.[(triple6 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Bob is red.[(triple7)] Fiona is not nice.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10 OR ((((triple9) -> rule1)) -> rule2))] @1: Bob is green.[(((triple7) -> rule1))] Fiona is green.[(((triple9) -> rule1))] @2: Bob is young.[(((((triple7) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple9) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2