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