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