Fiona is big. Fiona is kind. Fiona is round. Fiona is white. Harry is big. Harry is cold. Harry is white. If someone is big and quiet then they are not green. All cold, big people are round. All white, round people are quiet.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is big and quiet then they are not green.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "-"))
All cold, big people are round.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All white, round people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is white.
True
1
proof
[(triple4)]
("Fiona" "is" "white" "+")
triple4
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Fiona is quiet.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple4 triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple4 triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not green.
True
5
proof
[(((triple1 ((triple4 triple3) -> rule3)) -> rule1))]
("Fiona" "is" "green" "-")
((triple1 ((triple4 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is not quiet.
False
5
inv-proof
[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))]
("Harry" "is" "quiet" "-")
((triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not green.
True
7
proof
[(((triple5 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "green" "-")
((triple5 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
False
7
inv-proof
[(((triple5 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "green" "+")
((triple5 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is white.[(triple7)] @1: Fiona is quiet.[(((triple4 triple3) -> rule3))] Harry is round.[(((triple6 triple5) -> rule2))] @2: Fiona is not green.[(((triple1 ((triple4 triple3) -> rule3)) -> rule1))] Harry is quiet.[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))] @3: Harry is not green.[(((triple5 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4 triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple5) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple1 ((triple4 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not green.
("Harry" "is" "green" "-")
((triple5 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3