Dave is green. Fiona is big. If someone is red and not kind then they are big. Green people are big. Big people are red.
Dave is green.
("Dave" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If someone is red and not kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Fiona is big.
True
1
proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is green.[(triple1)] Fiona is big.[(triple2)] @1: Dave is big.[(((triple1) -> rule2))] Fiona is red.[(((triple2) -> rule3))] @2: Dave is red.[(((((triple1) -> rule2)) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2