Anne is white. Erin is blue. Erin is kind. Erin is nice. Gary is kind. Gary is round. Gary is white. Harry is blue. Harry is cold. Harry is white. If someone is white then they are smart. If Harry is cold and Harry is kind then Harry is smart. If someone is cold and white then they are kind.
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is white then they are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If Harry is cold and Harry is kind then Harry is smart.
((("Harry" "is" "cold" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "smart" "+"))
If someone is cold and white then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Harry is blue.
True
1
proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Erin is not kind.
False
1
inv-proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is white.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Gary is kind.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Gary is smart.[(((triple7) -> rule1))] Harry is kind.[(((triple9 triple10) -> rule3))] Harry is smart.[(((triple10) -> rule1) OR ((triple9 ((triple9 triple10) -> rule3)) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple9 ((triple9 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2