Bob is furry. Bob is quiet. Bob is round. Dave is cold. Dave is furry. Dave is green. Dave is not quiet. Dave is red. Dave is round. Fiona is furry. Fiona is red. Fiona is not round. Harry is not blue. Harry is furry. Harry is red. If something is red and quiet then it is cold. If Harry is furry and Harry is not blue then Harry is not cold.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is red and quiet then it is cold.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If Harry is furry and Harry is not blue then Harry is not cold.
((("Harry" "is" "furry" "+") ("Harry" "is" "blue" "~")) -> ("Harry" "is" "cold" "-"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Harry is not cold.
True
3
proof
[(((triple14 triple13) -> rule2))]
("Harry" "is" "cold" "-")
((triple14 triple13) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is cold.
False
3
inv-proof
[(((triple14 triple13) -> rule2))]
("Harry" "is" "cold" "+")
((triple14 triple13) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is not quiet.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Fiona is furry.[(triple10)] Fiona is not round.[(triple12)] Fiona is red.[(triple11)] Harry is furry.[(triple14)] Harry is not blue.[(triple13)] Harry is red.[(triple15)] @1: Harry is not cold.[(((triple14 triple13) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is not round.
("Fiona" "is" "round" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is not blue.
("Harry" "is" "blue" "-")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is not cold.
("Harry" "is" "cold" "-")
((triple14 triple13) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1