Charlie is not furry. Charlie is green. Erin is cold. Erin is red. Erin is young. Harry is kind. Harry is young. Rough people are young. If Erin is furry and Erin is rough then Erin is green. If Erin is young and Erin is not furry then Erin is red. Young, red people are not rough. If someone is furry and not young then they are not cold. Kind, cold people are green. Red, cold people are green. If someone is cold then they are kind.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Erin is furry and Erin is rough then Erin is green.
((("Erin" "is" "furry" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "green" "+"))
If Erin is young and Erin is not furry then Erin is red.
((("Erin" "is" "young" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "red" "+"))
Young, red people are not rough.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
If someone is furry and not young then they are not cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "cold" "-"))
Kind, cold people are green.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Red, cold people are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Erin is young.
True
1
proof
[(triple5)]
("Erin" "is" "young" "+")
triple5
Harry is not kind.
False
1
inv-proof
[(triple6)]
("Harry" "is" "kind" "-")
triple6
Erin is green.
True
3
proof
[(((triple4 triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule6))]
("Erin" "is" "green" "+")
((triple4 triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not kind.
False
2
inv-proof
[(((triple3) -> rule8))]
("Erin" "is" "kind" "-")
((triple3) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is green.[(triple2)] Charlie is not furry.[(triple1)] Erin is cold.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Erin is green.[(((triple4 triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule6))] Erin is kind.[(((triple3) -> rule8))] Erin is not rough.[(((triple5 triple4) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple4 triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
((triple5 triple4) -> (rule4 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1