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