Fiona is big. Fiona is cold. Fiona is kind. Fiona is white. Gary is big. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is round. All big people are round. White, round people are quiet. If Gary is big then Gary is red.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
White, round people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is big then Gary is red.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "red" "+"))
Fiona is white.
True
1
proof
[(triple4)]
("Fiona" "is" "white" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Fiona is round.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "-")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
True
4
proof
[(((triple4 ((triple1) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((triple4 ((triple1) -> rule1)) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is white.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9 OR ((triple5) -> rule3))] Gary is round.[(triple10 OR ((triple5) -> rule1))] @1: Fiona is round.[(((triple1) -> rule1))] @2: Fiona is quiet.[(((triple4 ((triple1) -> rule1)) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple5) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2