Bob is big. Bob is furry. Bob is nice. Bob is round. Charlie is nice. Charlie is red. Charlie is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is round. Fiona is young. All furry, big things are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All furry, big things are red.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Fiona is furry.
True
1
proof
[(triple9)]
("Fiona" "is" "furry" "+")
triple9
Fiona is not furry.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "furry" "-")
triple9
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Charlie is nice.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Bob is red.[(((triple2 triple1) -> rule1))] Fiona is red.[(((triple9 triple8) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple9 triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1