Charlie is not cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is white. Charlie is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is not rough. Harry is not cold. Harry is furry. Harry is green. Harry is rough. Harry is young. If Harry is green and Harry is cold then Harry is white. If someone is cold and not rough then they are green. If someone is young then they are white. All furry, young people are white. If someone is white and not rough then they are cold. All cold people are furry. If Harry is green and Harry is cold then Harry is not kind. If Harry is white then Harry is furry.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is green and Harry is cold then Harry is white.
((("Harry" "is" "green" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "white" "+"))
If someone is cold and not rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All furry, young people are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is white and not rough then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "cold" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If Harry is green and Harry is cold then Harry is not kind.
((("Harry" "is" "green" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "kind" "-"))
If Harry is white then Harry is furry.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "furry" "+"))
Fiona is cold.
True
1
proof
[(triple7)]
("Fiona" "is" "cold" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "kind" "-")
triple9
Fiona is green.
True
3
proof
[(((triple7 triple10) -> rule2))]
("Fiona" "is" "green" "+")
((triple7 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple15) -> rule3) OR ((triple12 triple15) -> rule4))]
("Harry" "is" "white" "-")
((triple15) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple12 triple15) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple1)] Charlie is rough.[(triple4)] Charlie is white.[(triple5 OR ((triple6) -> rule3))] Charlie is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((triple7) -> rule6))] Fiona is kind.[(triple9)] Fiona is not rough.[(triple10)] Harry is furry.[(triple12 OR ((((triple15) -> rule3)) -> rule8))] Harry is green.[(triple13)] Harry is not cold.[(triple11)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Fiona is green.[(((triple7 triple10) -> rule2))] Harry is white.[(((triple15) -> rule3) OR ((triple12 triple15) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
((triple6) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((((triple15) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is green.
("Fiona" "is" "green" "+")
((triple7 triple10) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple15) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple12 triple15) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1