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