Fiona is big. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is young. Gary is big. Gary is quiet. Gary is red. Gary is young. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is white. Harry is young. If Gary is young then Gary is white. Cold, white things are quiet.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is young then Gary is white.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
Cold, white things are quiet.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Gary is big.
True
1
proof
[(triple6)]
("Gary" "is" "big" "+")
triple6
Harry is not big.
False
1
inv-proof
[(triple10)]
("Harry" "is" "big" "-")
triple10
Gary is white.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "white" "+")
((triple9) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "white" "-")
((triple9) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is quiet.[(triple13 OR ((triple12 triple15) -> rule2))] Harry is red.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Gary is white.[(((triple9) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple12 triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1