Fiona is cold. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is young. Gary is nice. Gary is young. Harry is cold. Harry is kind. Harry is red. Harry is round. Harry is smart. Round people are smart. All smart people are red.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
All smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple10 OR ((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))]
("Harry" "is" "red" "+")
triple10
((triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not kind.
False
1
inv-proof
[(triple9)]
("Harry" "is" "kind" "-")
triple9
Fiona is red.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "red" "+")
((triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "red" "-")
((triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is smart.[(triple4)] Fiona is young.[(triple5)] Gary is nice.[(triple6)] Gary is young.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10 OR ((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Harry is round.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule1))] @1: Fiona is red.[(((triple4) -> rule2))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
((triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((triple11) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1