Charlie is green. Charlie is kind. Charlie is nice. Erin is kind. Erin is young. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is young. Smart, young people are not green. If Harry is smart then Harry is not nice. If Harry is kind then Harry is young. If someone is young and not red then they are smart. If Harry is smart then Harry is furry. All red people are not furry. If someone is red then they are not furry. If someone is nice and not green then they are furry.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Smart, young people are not green.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If Harry is smart then Harry is not nice.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "nice" "-"))
If Harry is kind then Harry is young.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "young" "+"))
If someone is young and not red then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "+"))
If Harry is smart then Harry is furry.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "furry" "+"))
All red people are not furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "-"))
If someone is red then they are not furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "-"))
If someone is nice and not green then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "furry" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Harry is not furry.
True
2
proof
[(((triple9) -> rule6) OR ((triple9) -> rule7))]
("Harry" "is" "furry" "-")
((triple9) -> (rule6 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
((triple9) -> (rule7 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple9) -> rule6) OR ((triple9) -> rule7))]
("Harry" "is" "furry" "+")
((triple9) -> (rule6 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
((triple9) -> (rule7 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "smart" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "smart" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Erin is kind.[(triple4)] Erin is young.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10 OR ((triple7) -> rule3))] @1: Harry is not furry.[(((triple9) -> rule6) OR ((triple9) -> rule7))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple9) -> (rule6 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
((triple9) -> (rule7 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1