Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is smart. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Dave is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is smart. Big, rough things are nice. If something is nice then it is cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Big, rough things are nice.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Dave is furry.
True
1
proof
[(triple7)]
("Dave" "is" "furry" "+")
triple7
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Anne is cold.
True
2
proof
[(((triple3) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))]
("Anne" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not cold.
False
2
inv-proof
[(((triple3) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))]
("Anne" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule1))] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Dave is cold.[(triple6 OR ((triple8) -> rule2))] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12 OR ((triple14) -> rule2))] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is cold.[(((triple3) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple1 triple4) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
((triple8) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
((triple14) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2