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