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