Erin is white. Fiona is white. Gary is nice. Harry is nice. All blue people are round. If Harry is blue and Harry is nice then Harry is rough. Smart, white people are rough. All rough people are white. Rough, round people are white. If someone is blue and round then they are nice. All white people are blue. If Fiona is rough and Fiona is white then Fiona is nice.
Erin is white.
("Erin" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Harry is blue and Harry is nice then Harry is rough.
((("Harry" "is" "blue" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "rough" "+"))
Smart, white people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Rough, round people are white.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is rough and Fiona is white then Fiona is nice.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "nice" "+"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Harry is not nice.
False
1
inv-proof
[(triple4)]
("Harry" "is" "nice" "-")
triple4
Gary is not round.
Unknown
inv-rconc
[@4: Gary is round.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is white.[(triple1)] Fiona is white.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Erin is blue.[(((triple1) -> rule7))] Fiona is blue.[(((triple2) -> rule7))] @2: Erin is round.[(((((triple1) -> rule7)) -> rule1))] Fiona is round.[(((((triple2) -> rule7)) -> rule1))] @3: Erin is nice.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6))] Fiona is nice.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule6))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3