Erin is young. Fiona is rough. Harry is white. Big, round people are red. Red people are young. If someone is young and round then they are white. If someone is white then they are rough. Big, furry people are white. All round people are red. If someone is big then they are red. Young people are round.
Erin is young.
("Erin" "is" "young" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Big, round people are red.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round then they are white.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Big, furry people are white.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Erin is round.
True
2
proof
[(((triple1) -> rule8))]
("Erin" "is" "round" "+")
((triple1) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple3) -> rule4))]
("Harry" "is" "rough" "-")
((triple3) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@4: Fiona is red.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is white.
Unknown
rconc
[@4: Fiona is white.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- rule8 <- FAIL)]]
("Fiona" "is" "white" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is young.[(triple1)] Fiona is rough.[(triple2)] Harry is white.[(triple3)] @1: Erin is round.[(((triple1) -> rule8))] Harry is rough.[(((triple3) -> rule4))] @2: Erin is red.[(((((triple1) -> rule8)) -> rule6))] Erin is white.[(((triple1 ((triple1) -> rule8)) -> rule3))] @3: Erin is rough.[(((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple1 ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3