Anne is smart. Dave is smart. Fiona is young. Harry is nice. All cold, green people are white. Smart, furry people are white. All furry people are smart. All nice people are young. If Harry is smart and Harry is nice then Harry is green. If someone is furry then they are green. Young people are green. All white, furry people are green.
Anne is smart.
("Anne" "is" "smart" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All cold, green people are white.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Smart, furry people are white.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If Harry is smart and Harry is nice then Harry is green.
((("Harry" "is" "smart" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "green" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All white, furry people are green.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple4)]
("Harry" "is" "nice" "+")
triple4
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Fiona is green.
True
2
proof
[(((triple3) -> rule7))]
("Fiona" "is" "green" "+")
((triple3) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple4) -> rule4))]
("Harry" "is" "young" "-")
((triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
True
3
proof
[(((((triple4) -> rule4)) -> rule7))]
("Harry" "is" "green" "+")
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule7))]
("Harry" "is" "green" "-")
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is smart.[(triple1)] Dave is smart.[(triple2)] Fiona is young.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is green.[(((triple3) -> rule7))] Harry is young.[(((triple4) -> rule4))] @2: Harry is green.[(((((triple4) -> rule4)) -> rule7))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2