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