Bob is big. Bob is not kind. Bob is red. Bob is round. Charlie is blue. Charlie is furry. Charlie is nice. Erin is big. Erin is blue. Erin is nice. Fiona is big. Fiona is red. All big people are blue. Red, nice people are not blue. If someone is blue and red then they are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Red, nice people are not blue.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "-"))
If someone is blue and red then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Erin is blue.
True
1
proof
[(triple9 OR ((triple8) -> rule1))]
("Erin" "is" "blue" "+")
triple9
((triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Bob is not red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Fiona is blue.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
True
4
proof
[(((((triple1) -> rule1) triple3) -> rule3))]
("Bob" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not furry.
False
4
inv-proof
[(((((triple1) -> rule1) triple3) -> rule3))]
("Bob" "is" "furry" "-")
((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is not kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple8) -> rule1))] Erin is nice.[(triple10)] Fiona is big.[(triple11)] Fiona is red.[(triple12)] @1: Bob is blue.[(((triple1) -> rule1))] Fiona is blue.[(((triple11) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule1) triple3) -> rule3))] Fiona is furry.[(((((triple11) -> rule1) triple12) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple11) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2