Fiona is blue. Fiona is kind. Fiona is smart. Fiona is white. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is big. Harry is green. Harry is kind. Harry is white. If Harry is smart then Harry is kind. If Fiona is kind then Fiona is big. All white things are quiet.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is smart then Harry is kind.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "kind" "+"))
If Fiona is kind then Fiona is big.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "big" "+"))
All white things are quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is white.[(triple12)] @1: Fiona is big.[(((triple2) -> rule2))] Fiona is quiet.[(((triple4) -> rule3))] Gary is quiet.[(((triple8) -> rule3))] Harry is quiet.[(((triple12) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple12) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1