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