Fiona is blue. Fiona is nice. Fiona is round. Fiona is white. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is white. Harry is blue. Harry is green. Harry is not quiet. Harry is round. Harry is white. Harry is not young. If Fiona is nice and Fiona is blue then Fiona is white. White people are green. If Fiona is blue then Fiona is green. If someone is round and not young then they are blue. If Gary is quiet then Gary is white. If someone is quiet and green then they are white.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is nice and Fiona is blue then Fiona is white.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "white" "+"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Fiona is blue then Fiona is green.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "green" "+"))
If someone is round and not young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
If Gary is quiet then Gary is white.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "white" "+"))
If someone is quiet and green then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Gary is white.
True
1
proof
[(triple9 OR ((triple8) -> rule5) OR ((triple8 triple6) -> rule6))]
("Gary" "is" "white" "+")
triple9
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple8 triple6) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule5) OR ((triple8 triple6) -> rule6))]
("Gary" "is" "white" "-")
triple9
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple8 triple6) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is green.
True
2
proof
[(((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule1)) -> rule2))]
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule1)) -> rule2))]
("Fiona" "is" "green" "-")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4 OR ((triple2 triple1) -> rule1))] Gary is blue.[(triple5)] Gary is green.[(triple6 OR ((triple9) -> rule2) OR ((((triple8) -> rule5)) -> rule2))] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9 OR ((triple8) -> rule5) OR ((triple8 triple6) -> rule6))] Harry is blue.[(triple10 OR ((triple13 triple15) -> rule4))] Harry is green.[(triple11 OR ((triple14) -> rule2))] Harry is not quiet.[(triple12)] Harry is not young.[(triple15)] Harry is round.[(triple13)] Harry is white.[(triple14)] @1: Fiona is green.[(((triple1) -> rule3) OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule1)) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
((triple2 triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple8 triple6) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple13 triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple14) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Harry is not young.
("Harry" "is" "young" "-")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2