Charlie is blue. Fiona is cold. Gary is young. Harry is nice. If someone is cold then they are big. If someone is furry and kind then they are blue. If someone is cold then they are furry.
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is furry and kind then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Fiona is big.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "big" "+")
((triple2) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is blue.[(triple1)] Fiona is cold.[(triple2)] Gary is young.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is big.[(((triple2) -> rule1))] Fiona is furry.[(((triple2) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1