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