Bob is not young. Fiona is furry. Gary is smart. Harry is furry. If something is furry then it is cold. All kind, cold things are blue. If Gary is young then Gary is nice.
Bob is not young.
("Bob" "is" "young" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All kind, cold things are blue.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Gary is young then Gary is nice.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "nice" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Gary is not smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is not young.[(triple1)] Fiona is furry.[(triple2)] Gary is smart.[(triple3)] Harry is furry.[(triple4)] @1: Fiona is cold.[(((triple2) -> rule1))] Harry is cold.[(((triple4) -> rule1))]
Bob is not young.
("Bob" "is" "young" "-")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1