Anne is blue. Anne is furry. Anne is nice. Bob is big. Bob is round. Charlie is cold. Charlie is not round. Charlie is not smart. Gary is cold. Gary is round. If someone is round and not blue then they are cold. Round people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is round and not blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "cold" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Charlie is not smart.
True
1
proof
[(triple8)]
("Charlie" "is" "smart" "-")
triple8
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Bob is nice.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "nice" "-")
((triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Bob is big.[(triple4)] Bob is round.[(triple5)] Charlie is cold.[(triple6)] Charlie is not round.[(triple7)] Charlie is not smart.[(triple8)] Gary is cold.[(triple9)] Gary is round.[(triple10)] @1: Bob is nice.[(((triple5) -> rule2))] Gary is nice.[(((triple10) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is not round.
("Charlie" "is" "round" "-")
triple7
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1