Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is not cold. Fiona is nice. Gary is nice. Gary is not quiet. Harry is blue. Harry is cold. Harry is not nice. Harry is quiet. Harry is smart. If Gary is nice then Gary is cold. All quiet people are cold. All nice people are blue.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Gary is nice then Gary is cold.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "cold" "+"))
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Fiona is nice.
True
1
proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Charlie is not nice.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "nice" "-")
triple1
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" "+")
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Fiona is nice.[(triple5)] Fiona is not cold.[(triple4)] Gary is nice.[(triple6)] Gary is not quiet.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule2))] Harry is not nice.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule2))] Fiona is blue.[(((triple5) -> rule3))] Gary is blue.[(((triple6) -> rule3))] Gary is cold.[(((triple6) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1