Charlie is blue. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Erin is furry. Erin is nice. Erin is smart. Erin is white. Gary is not blue. Gary is nice. Gary is red. Gary is white. Harry is furry. Harry is nice. Harry is not red. Nice people are smart. All nice people are smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Gary is not blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "-")
triple10
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] Charlie is white.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Erin is white.[(triple9)] Gary is nice.[(triple11)] Gary is not blue.[(triple10)] Gary is red.[(triple12)] Gary is white.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not red.[(triple16)] @1: Gary is smart.[(((triple11) -> rule1) OR ((triple11) -> rule2))] Harry is smart.[(((triple15) -> rule1) OR ((triple15) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
((triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple2) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple7) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not blue.
("Gary" "is" "blue" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is white.
("Gary" "is" "white" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is not red.
("Harry" "is" "red" "-")
triple16
Gary is smart.
("Gary" "is" "smart" "+")
((triple11) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple15) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple15) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1