Fiona is blue. Fiona is furry. Fiona is red. Fiona is white. Harry is blue. Harry is kind. Harry is quiet. All blue, smart things are quiet. If something is red then it is furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All blue, smart things are quiet.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Harry is kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Fiona is not red.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "red" "-")
triple3
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple3) -> rule2))] Fiona is red.[(triple3)] Fiona is white.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7