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