Charlie is nice. Fiona is white. All nice, young things are smart. Nice things are young. Nice, young things are not rough. If Fiona is nice then Fiona is young. All smart, nice things are white. If Fiona is kind and Fiona is not nice then Fiona is rough.
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All nice, young things are smart.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Nice, young things are not rough.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
If Fiona is nice then Fiona is young.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "young" "+"))
All smart, nice things are white.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Fiona is kind and Fiona is not nice then Fiona is rough.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "rough" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Charlie is young.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "young" "+")
((triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "young" "-")
((triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Charlie" "is" "smart" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("Charlie" "is" "rough" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
True
6
proof
[(((((triple1 ((triple1) -> rule2)) -> rule1) triple1) -> rule5))]
("Charlie" "is" "white" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not white.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule1) triple1) -> rule5))]
("Charlie" "is" "white" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is nice.[(triple1)] Fiona is white.[(triple2)] @1: Charlie is young.[(((triple1) -> rule2))] @2: Charlie is not rough.[(((triple1 ((triple1) -> rule2)) -> rule3))] Charlie is smart.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: Charlie is white.[(((((triple1 ((triple1) -> rule2)) -> rule1) triple1) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3