Charlie is furry. Charlie is quiet. Charlie is white. Charlie is young. Erin is kind. Erin is not round. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is young. If someone is furry then they are big. If someone is quiet and kind then they are big. All white people are big. Round, quiet people are kind. If Erin is furry then Erin is not quiet. All round people are white. White people are round. If someone is white and kind then they are quiet.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not round.
("Erin" "is" "round" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is furry then they are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet and kind then they are big.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All white people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Round, quiet people are kind.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Erin is furry then Erin is not quiet.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "quiet" "-"))
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is white and kind then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Fiona is not quiet.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "quiet" "-")
triple9
Charlie is round.
True
2
proof
[(((triple3) -> rule7))]
("Charlie" "is" "round" "+")
((triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple3) -> rule3) OR ((triple2 ((((triple3) -> rule7) triple2) -> rule4)) -> rule2))]
("Charlie" "is" "big" "-")
((triple1) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple2 ((((triple3) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Erin is not quiet.
Unknown
inv-rconc
[@2: Erin is quiet.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("Erin" "is" "quiet" "-")
Fiona is white.
Unknown
rconc
[@2: Fiona is white.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Fiona" "is" "white" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Erin is kind.[(triple5)] Erin is not round.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is big.[(((triple1) -> rule1) OR ((triple3) -> rule3) OR ((triple2 ((((triple3) -> rule7) triple2) -> rule4)) -> rule2))] Charlie is round.[(((triple3) -> rule7))] Fiona is big.[(((triple7) -> rule1) OR ((triple9 triple8) -> rule2))] @2: Charlie is kind.[(((((triple3) -> rule7) triple2) -> rule4))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not round.
("Erin" "is" "round" "-")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple2 ((((triple3) -> (rule7 % int3)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2