Fiona is blue. Fiona is furry. Fiona is red. Fiona is smart. Harry is blue. Harry is furry. Harry is nice. Harry is not red. Harry is round. Harry is smart. All nice people are furry. If someone is nice then they are kind. If Fiona is round and Fiona is not blue then Fiona is not kind.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is round and Fiona is not blue then Fiona is not kind.
((("Fiona" "is" "round" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "kind" "-"))
Harry is furry.
True
1
proof
[(triple6 OR ((triple7) -> rule1))]
("Harry" "is" "furry" "+")
triple6
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
False
1
inv-proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6 OR ((triple7) -> rule1))] Harry is nice.[(triple7)] Harry is not red.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Harry is kind.[(((triple7) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is not red.
("Harry" "is" "red" "-")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1