Bob is not green. Bob is smart. Charlie is not cold. Charlie is rough. Charlie is white. Dave is smart. Fiona is green. If someone is rough and not cold then they are not big. If Charlie is green then Charlie is white.
Bob is not green.
("Bob" "is" "green" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is rough and not cold then they are not big.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "big" "-"))
If Charlie is green then Charlie is white.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "white" "+"))
Fiona is green.
True
1
proof
[(triple7)]
("Fiona" "is" "green" "+")
triple7
Charlie is cold.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Charlie is not big.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Charlie" "is" "big" "-")
((triple4 triple3) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is big.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Charlie" "is" "big" "+")
((triple4 triple3) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is not green.[(triple1)] Bob is smart.[(triple2)] Charlie is not cold.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Dave is smart.[(triple6)] Fiona is green.[(triple7)] @1: Charlie is not big.[(((triple4 triple3) -> rule1))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Charlie is not big.
("Charlie" "is" "big" "-")
((triple4 triple3) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1