Anne is rough. Anne is round. Erin is nice. Erin is rough. Erin is young. Fiona is rough. Fiona is white. If someone is rough then they are round. Round, rough people are nice. All nice, round people are white.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Round, rough people are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All nice, round people are white.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Erin is young.
True
1
proof
[(triple5)]
("Erin" "is" "young" "+")
triple5
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Erin is round.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "round" "+")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "round" "-")
((triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is white.
True
4
proof
[(((triple3 ((triple4) -> rule1)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule3))]
("Erin" "is" "white" "+")
((triple3 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not white.
False
4
inv-proof
[(((triple3 ((triple4) -> rule1)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule3))]
("Erin" "is" "white" "-")
((triple3 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule1))] Erin is nice.[(triple3 OR ((((triple4) -> rule1) triple4) -> rule2))] Erin is rough.[(triple4)] Erin is young.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7 OR ((((((triple6) -> rule1) triple6) -> rule2) ((triple6) -> rule1)) -> rule3))] @1: Anne is nice.[(((triple2 triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule2))] Erin is round.[(((triple4) -> rule1))] Fiona is round.[(((triple6) -> rule1))] @2: Anne is white.[(((((triple2 triple1) -> rule2) triple2) -> rule3) OR ((((triple2 triple1) -> rule2) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule2) triple2) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule3))] Erin is white.[(((triple3 ((triple4) -> rule1)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule3))] Fiona is nice.[(((((triple6) -> rule1) triple6) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((((((triple6) -> (rule1 % int3)) triple6) -> (rule2 % int2)) ((triple6) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2 triple1) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple3 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2