Dave is not kind. Erin is kind. Fiona is cold. Harry is rough. If someone is furry then they are not kind. All rough people are not big. If Fiona is not green then Fiona is big.
Dave is not kind.
("Dave" "is" "kind" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is furry then they are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
All rough people are not big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
If Fiona is not green then Fiona is big.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "big" "+"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Harry is not big.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "big" "-")
((triple4) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is big.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "big" "+")
((triple4) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is not kind.[(triple1)] Erin is kind.[(triple2)] Fiona is cold.[(triple3)] Harry is rough.[(triple4)] @1: Harry is not big.[(((triple4) -> rule2))]
Dave is not kind.
("Dave" "is" "kind" "-")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Harry is not big.
("Harry" "is" "big" "-")
((triple4) -> (rule2 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1