Dave is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. If something is rough then it is big. If Fiona is big then Fiona is cold.
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is rough then it is big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If Fiona is big then Fiona is cold.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "cold" "+"))
Fiona is rough.
True
1
proof
[(triple5)]
("Fiona" "is" "rough" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Dave is big.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "big" "+")
((triple1) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "big" "-")
((triple1) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is rough.[(triple1)] Fiona is big.[(triple2 OR ((triple5) -> rule1))] Fiona is blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] @1: Dave is big.[(((triple1) -> rule1))] Fiona is cold.[(((triple2) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
((triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2