Charlie is white. Fiona is white. Gary is cold. All rough, young people are nice. If someone is round and young then they are rough. If Fiona is cold then Fiona is quiet. Quiet, cold people are rough. If someone is white then they are young. If someone is cold then they are nice. If someone is nice then they are white. If someone is cold and young then they are quiet.
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All rough, young people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is cold then Fiona is quiet.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "quiet" "+"))
Quiet, cold people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is cold and young then they are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is white.[(triple1)] Fiona is white.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is young.[(((triple1) -> rule5))] Fiona is young.[(((triple2) -> rule5))] Gary is nice.[(((triple3) -> rule6))] @2: Gary is white.[(((((triple3) -> rule6)) -> rule7))] @3: Gary is young.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))] @4: Gary is quiet.[(((triple3 ((((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule8))] @5: Gary is rough.[(((((triple3 ((((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule8) triple3) -> rule4))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple3 ((((((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((triple3 ((((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5