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