Dave is big. Dave is round. Erin is not big. Erin is furry. Erin is green. Erin is rough. Fiona is big. Fiona is cold. Fiona is not furry. Fiona is rough. Furry things are not cold.
Dave is big.
("Dave" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Furry things are not cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "-"))
Erin is green.
True
1
proof
[(triple5)]
("Erin" "is" "green" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "rough" "-")
triple10
Erin is not cold.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is big.[(triple1)] Dave is round.[(triple2)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is not big.[(triple3)] Erin is rough.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8)] Fiona is not furry.[(triple9)] Fiona is rough.[(triple10)] @1: Erin is not cold.[(((triple4) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is not big.
("Erin" "is" "big" "-")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Erin is not cold.
("Erin" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1