Charlie is kind. Charlie is round. Charlie is young. Dave is nice. Fiona is kind. Gary is big. Gary is kind. If Fiona is kind then Fiona is quiet.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Fiona is kind then Fiona is quiet.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "+"))
Gary is kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Fiona is quiet.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is nice.[(triple4)] Fiona is kind.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] @1: Fiona is quiet.[(((triple5) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1