Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is red. Erin is big. Erin is not blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Fiona is big. Fiona is nice. Fiona is red. Harry is cold. All kind, furry things are big. If something is cold and not red then it is big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is cold and not red then it is big.
((("something" "is" "cold" "+") ("something" "is" "red" "~")) -> ("something" "is" "big" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Charlie is red.[(triple5)] Erin is big.[(triple6 OR ((triple9 triple8) -> rule1))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is not blue.[(triple7)] Erin is red.[(triple11)] Fiona is big.[(triple12)] Fiona is nice.[(triple13)] Fiona is red.[(triple14)] Harry is cold.[(triple15)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple9 triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Harry is cold.
("Harry" "is" "cold" "+")
triple15