Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is young. Fiona is smart. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If something is quiet and not cold then it is smart. If something is quiet then it is smart. If Gary is not cold then Gary is not smart. If Fiona is not furry and Fiona is not cold then Fiona is young. If something is smart and quiet then it is rough. If something is smart and not furry then it is young. If something is cold and not furry then it is not young. If Charlie is young and Charlie is not furry then Charlie is not kind.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is quiet and not cold then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If Gary is not cold then Gary is not smart.
((("Gary" "is" "cold" "~")) -> ("Gary" "is" "smart" "-"))
If Fiona is not furry and Fiona is not cold then Fiona is young.
((("Fiona" "is" "furry" "~") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "young" "+"))
If something is smart and quiet then it is rough.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is smart and not furry then it is young.
((("something" "is" "smart" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "+"))
If something is cold and not furry then it is not young.
((("something" "is" "cold" "+") ("something" "is" "furry" "~")) -> ("something" "is" "young" "-"))
If Charlie is young and Charlie is not furry then Charlie is not kind.
((("Charlie" "is" "young" "+") ("Charlie" "is" "furry" "~")) -> ("Charlie" "is" "kind" "-"))
Fiona is smart.
True
1
proof
[(triple6)]
("Fiona" "is" "smart" "+")
triple6
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is smart.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "smart" "-")
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple4) -> rule2) triple4) -> rule5))]
("Charlie" "is" "rough" "+")
((((triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple4) -> rule2) triple4) -> rule5))]
("Charlie" "is" "rough" "-")
((((triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is smart.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((((triple10) -> rule2) triple10) -> rule5))] Gary is young.[(triple12)] @1: Charlie is smart.[(((triple4) -> rule2))] Gary is smart.[(((triple10) -> rule2))] @2: Charlie is rough.[(((((triple4) -> rule2) triple4) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((((triple10) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple4) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2