Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is smart. Red people are green. If someone is nice then they are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Bob is furry.
True
1
proof
[(triple3 OR ((triple5) -> rule2))]
("Bob" "is" "furry" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not nice.
False
1
inv-proof
[(triple5)]
("Bob" "is" "nice" "-")
triple5
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule2))] Bob is green.[(triple4 OR ((triple6) -> rule1))] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple11) -> rule2))] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple11) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12