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