Anne is big. Anne is blue. Anne is furry. Charlie is cold. Charlie is furry. Charlie is white. Dave is cold. Dave is green. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. All cold, furry people are blue. All kind, big people are green. If someone is blue and green then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All cold, furry people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
All kind, big people are green.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Anne is blue.
True
1
proof
[(triple2)]
("Anne" "is" "blue" "+")
triple2
Charlie is not cold.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is white.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13 OR ((triple14 triple10) -> rule2))] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] @1: Charlie is blue.[(((triple4 triple5) -> rule1))] Fiona is furry.[(((triple11 triple13) -> rule3) OR ((triple11 ((triple14 triple10) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
((triple14 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple11 triple13) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple11 ((triple14 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2