Bob is quiet. Bob is smart. Erin is big. Erin is quiet. Erin is round. Gary is kind. Gary is smart. All green, red people are kind. Green people are round. Quiet, round people are red. If Bob is kind then Bob is round. Round, big people are green. If someone is big then they are smart. All big people are round. If someone is kind and smart then they are quiet.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Quiet, round people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Bob is kind then Bob is round.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "round" "+"))
Round, big people are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and smart then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple7)]
("Gary" "is" "smart" "-")
triple7
Erin is green.
True
3
proof
[(((triple5 triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5))]
("Erin" "is" "green" "+")
((triple5 triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not green.
False
3
inv-proof
[(((triple5 triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5))]
("Erin" "is" "green" "-")
((triple5 triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Erin is big.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule7))] Gary is kind.[(triple6)] Gary is smart.[(triple7)] @1: Erin is green.[(((triple5 triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5))] Erin is red.[(((triple4 triple5) -> rule3) OR ((triple4 ((triple3) -> rule7)) -> rule3))] Erin is smart.[(((triple3) -> rule6))] Gary is quiet.[(((triple6 triple7) -> rule8))] @2: Erin is kind.[(((((triple5 triple3) -> rule5) ((triple4 triple5) -> rule3)) -> rule1) OR ((((triple5 triple3) -> rule5) ((triple4 ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple3) -> rule7) triple3) -> rule5) ((triple4 triple5) -> rule3)) -> rule1) OR ((((((triple3) -> rule7) triple3) -> rule5) ((triple4 ((triple3) -> rule7)) -> rule3)) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple3) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple5 triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple4 triple5) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple4 ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6 triple7) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple5 triple3) -> (rule5 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple5 triple3) -> (rule5 % int4)) ((triple4 ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple3) -> (rule7 % int4)) triple3) -> (rule5 % int3)) ((triple4 ((triple3) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4