Charlie is big. Dave is white. Erin is not white. Fiona is green. If someone is big and rough then they are not furry. If Charlie is big then Charlie is rough.
Charlie is big.
("Charlie" "is" "big" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is big and rough then they are not furry.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
If Charlie is big then Charlie is rough.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "rough" "+"))
Erin is not white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Fiona is not green.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "green" "-")
triple4
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is big.[(triple1)] Dave is white.[(triple2)] Erin is not white.[(triple3)] Fiona is green.[(triple4)] @1: Charlie is rough.[(((triple1) -> rule2))] @2: Charlie is not furry.[(((triple1 ((triple1) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2