Bob is cold. Bob is nice. Bob is not red. Bob is young. Charlie is not blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is young. Gary is blue. Gary is cold. Gary is not furry. Gary is nice. Gary is red. Gary is round. Gary is young. All furry people are nice. All young, blue people are cold. If someone is blue and not nice then they are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All young, blue people are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and not nice then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple9)]
("Charlie" "is" "young" "+")
triple9
Charlie is not cold.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "cold" "-")
triple6
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is not red.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple6)] Charlie is not blue.[(triple5)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11 OR ((triple16 triple10) -> rule2))] Gary is nice.[(triple13)] Gary is not furry.[(triple12)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple16 triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is not furry.
("Gary" "is" "furry" "-")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16